Model Transformations for the MDA with BOTL
نویسندگان
چکیده
In this paper we identify some basic requirements for model transformations for the Model Driven Architecture (MDA) approach and for a model transformation language that is used to specify these transformations. Basically such a language must be precise, allow reasoning about the applicability of specifications, and allow to verify that only valid models are created. Therefore we introduce the Bidirectional Object oriented Transformation Language (BOTL) and show how this language does support the verification of the desired properties. A small running example illustrates our approach.
منابع مشابه
Evaluation of UML Model Transformation
Gerhard Kramler who give me the opportunity to work in this field and correct my Works. I own a large debt to my family that help me to finish my study. Thanks for the people who have supported me working on this thesis! Abstract 4 Abstract MDA(Model Driven Architecture) defines a software development process. Three models build the core of the MDA: PIM (Platform Independent Model), PSM (Platfo...
متن کاملTransforming Object Oriented Models with BOTL
In many application domains, like for example B2B, B2C, or CASE, a lot of heterogeneous applications exist which have to cooperate and exchange data. A major task of system integration is the mapping of different data models, on which the applications are built upon. In this paper, the Basic Object-oriented Transformation Language (BOTL) is introduced as a mathematically founded approach for th...
متن کاملTowards model checking OCL
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is based on the branching temporal logic CTL and the Object Constraint Language (OCL). Eventually, the aim is to do model checking. The formal semantics of BOTL is defined in terms of a general operational model that is ai...
متن کاملAn MDA Approach Towards Integrating Formal and Informal Modeling Languages
The Model Driven Architecture (MDA) involves automated transformations between software models defined in different languages at different abstraction levels. This paper takes an MDA approach to integrate a formal modeling language (Object-Z) with an informal modeling language (UML) via model transformation. This paper shows how formal and informal modeling languages can be cooperatively used i...
متن کاملOn a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is based on the branching temporal logic CTL and the Object Constraint Language (OCL), an optional part of the UML standard for expressing static properties over class diagrams. The formal semantics of BOTL is defined in t...
متن کامل